61. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده: D.H. Pitt ... )et al.( )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
389
62. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده: D.H. Pitt ... )et al.( )ed.(
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C3882
76
.
6
1989
63. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
پدیدآورنده: David Pitt, David E. Rydeheard, Peter Johnstone, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
64. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
پدیدآورنده: / Eugenio Moggi, Giuseppe Rosolini(eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
,.
6
.
B53
65. Computational complexity
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Electronic data processing-- Mathemaitcs-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
5
.
C671
1971
66. Computer algebra: EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Algebra-- Congresses
رده :
QA
76
.
6
.
E81
1982
67. Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algebra-- Data processing-- Congresses,، Parallel programming )Computer science(-- Congresses,، Parallel processing )Electronic computers(-- Congresses
رده :
QA
155
.
7
.
E4
.
C6495
1992
68. Computer architecture; conference proceedings, the 7th Annual Symposium on Computer Architecture. Sponsored by the IEEE Computer Society and the Association for Computing Machinery, May 6-8, 1980
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
5
.
S965
1980
69. Computing in object-oriented parallel environments : Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 1998 : proceedings
پدیدآورنده: Denis Caromel, Rodney R. Oldehoeft, Marydell Tholburn, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Object-oriented programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1505
70. Computing in object-oriented parallel environments : Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 1999 : proceedings
پدیدآورنده: Satoshi Matsuoka, Rodney R. Oldehoeft, Marydell Tholburn )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Object-oriented programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1732
71. Conference proceedings . The 3rd Annual Symposium on Computer Architecture;sponsored by the IEEE Computer Society and the Association for Computing Machinery, January 19-21, 1976
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
5
.
S965
1976
72. Conference record : ACM SIGPLAN ASIA-PEPM 2002 : the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : papers presented at the symposium, Aizu, Japan, September 12-14, 2002
پدیدآورنده: sponsored by ACM Special Interest Group on Programming Languages )SIGPLAN(; supported by : the University of Aizu
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
P45
2002
73. Constructing Progarms from specifications
پدیدآورنده: / Edited by B. Moller
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses
رده :
QA
76
.
6
.
I1779
1991
74. Constructing quality software: proceedings of the IFIP working conference on constructing quality software
پدیدآورنده: / edited by P. G. Hibbard, S. A. Schuman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers - Programming - Congresses,Programming languages (Electronic computers) - Congresses
رده :
001
.
6425
I23c
1977
75. Control flow and data flow: concepts of distributed programming: interantional. summer school directed by F. L. Bauer, E. W. Dijkstra )and( C.A.R. Hoare
پدیدآورنده: edited by Manfred Broy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Distributed processing - Congresses ، Electronic data processing,Programming - Congresses ، Electronic digital computers
رده :
QA
76
.
9
.
D5
N375
1984
76. Data base description
پدیدآورنده: / edited by B. C. M. Douque and G. M. Nijssen
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Programming languages (Electronic computers) -- Congresses
رده :
QA
76
.
7
.
I18
1975
77. Data base description. Proceedings of the IFIP Tc-2 Special working Conference on Data base descrition
پدیدآورنده: / Edited by B. C. M. Douque, G. M. Nijssen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Programming languages (Electronic computers) - Congresses
رده :
001
.
6424
I11d
1975
78. Data base description : proceedings of the IFIP TC-2 Special Working Conference on Data Base Description
پدیدآورنده: IFIP TC-2 Special Working Conference on Data Base Description, Wepion, Belgium 5791
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
7
.
I18
1975
79. Database applications semantics: proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics )DS-6( Stone Mountain, Atlanta, Georgia, U.S.A., May 30 - June 2, 1995
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Data structures )Computer science(,Congresses ، Programming Languages )Electronic computers(-- Semantics
رده :
QA
76
.
9
.
D35
.
I351
1995
80. Database programming languages
پدیدآورنده: / Philippa Gardner, Floris Geerts (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Database management--Congresses,Programming languages (Electronic computers)--Congresses,Datenbanksprache--Kongress--Lyon <2009>,Datenbanksprache.--swd,Kongress.--swd,Lyon (2009)--swd
رده :
QA
,
76
.
9
,.
D3
,
I5847
,
2009
